Search Results
Lamport on the origins of Paxos
The Man Who Revolutionized Computer Science With Math
Oral History of Leslie Lamport - Part 1
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 2: How it Works (HD)
Paxos in Pictures: Lamport's Distributed Consensus Algorithm
Lamport on discovering the Bakery Algorithm
L9: Paxos Simplified
Turing Award winner Leslie Lamport
The Paxos Algorithm
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
Leslie Lamport: Distributed systems, special relativity and violating causality
